.text
foo:
	ncrk	%r6,%r9,%r11
	ncgrk	%r6,%r9,%r11
	mvcrl	4000(%r6),4000(%r9)
	nnrk	%r6,%r9,%r11
	nngrk	%r6,%r9,%r11
	nork	%r6,%r9,%r11
	nork	%r6,%r7,%r7
	notr	%r6,%r7
	nogrk	%r6,%r9,%r11
	nogrk	%r6,%r7,%r7
	notgr	%r6,%r7
	nxrk	%r6,%r9,%r11
	nxgrk	%r6,%r9,%r11
	ocrk	%r6,%r9,%r11
	ocgrk	%r6,%r9,%r11
	popcnt	%r6,%r9
	popcnt	%r6,%r9,13
	selr	%r6,%r9,%r11,13
	selro	%r6,%r9,%r11
	selrh	%r6,%r9,%r11
	selrp	%r6,%r9,%r11
	selrnle	%r6,%r9,%r11
	selrl	%r6,%r9,%r11
	selrm	%r6,%r9,%r11
	selrnhe	%r6,%r9,%r11
	selrlh	%r6,%r9,%r11
	selrne	%r6,%r9,%r11
	selrnz	%r6,%r9,%r11
	selre	%r6,%r9,%r11
	selrz	%r6,%r9,%r11
	selrnlh	%r6,%r9,%r11
	selrhe	%r6,%r9,%r11
	selrnl	%r6,%r9,%r11
	selrnm	%r6,%r9,%r11
	selrle	%r6,%r9,%r11
	selrnh	%r6,%r9,%r11
	selrnp	%r6,%r9,%r11
	selrno	%r6,%r9,%r11
	selgr	%r6,%r9,%r11,13
	selgro	%r6,%r9,%r11
	selgrh	%r6,%r9,%r11
	selgrp	%r6,%r9,%r11
	selgrnle	%r6,%r9,%r11
	selgrl	%r6,%r9,%r11
	selgrm	%r6,%r9,%r11
	selgrnhe	%r6,%r9,%r11
	selgrlh	%r6,%r9,%r11
	selgrne	%r6,%r9,%r11
	selgrnz	%r6,%r9,%r11
	selgre	%r6,%r9,%r11
	selgrz	%r6,%r9,%r11
	selgrnlh	%r6,%r9,%r11
	selgrhe	%r6,%r9,%r11
	selgrnl	%r6,%r9,%r11
	selgrnm	%r6,%r9,%r11
	selgrle	%r6,%r9,%r11
	selgrnh	%r6,%r9,%r11
	selgrnp	%r6,%r9,%r11
	selgrno	%r6,%r9,%r11
	selfhr	%r6,%r9,%r11,13
	selfhro	%r6,%r9,%r11
	selfhrh	%r6,%r9,%r11
	selfhrp	%r6,%r9,%r11
	selfhrnle	%r6,%r9,%r11
	selfhrl	%r6,%r9,%r11
	selfhrm	%r6,%r9,%r11
	selfhrnhe	%r6,%r9,%r11
	selfhrlh	%r6,%r9,%r11
	selfhrne	%r6,%r9,%r11
	selfhrnz	%r6,%r9,%r11
	selfhre	%r6,%r9,%r11
	selfhrz	%r6,%r9,%r11
	selfhrnlh	%r6,%r9,%r11
	selfhrhe	%r6,%r9,%r11
	selfhrnl	%r6,%r9,%r11
	selfhrnm	%r6,%r9,%r11
	selfhrle	%r6,%r9,%r11
	selfhrnh	%r6,%r9,%r11
	selfhrnp	%r6,%r9,%r11
	selfhrno	%r6,%r9,%r11
	vlbr	%v15,4000(%r6,%r9),13
	vlbrh	%v15,4000(%r6,%r9)
	vlbrf	%v15,4000(%r6,%r9)
	vlbrg	%v15,4000(%r6,%r9)
	vlbrq	%v15,4000(%r6,%r9)
	vler	%v15,4000(%r6,%r9),13
	vlerh	%v15,4000(%r6,%r9)
	vlerf	%v15,4000(%r6,%r9)
	vlerg	%v15,4000(%r6,%r9)
	vllebrz	%v15,4000(%r6,%r9),13
	vllebrzh	%v15,4000(%r6,%r9)
	vllebrzf	%v15,4000(%r6,%r9)
	ldrv	%v15,4000(%r6,%r9)
	vllebrzg	%v15,4000(%r6,%r9)
	lerv	%v15,4000(%r6,%r9)
	vllebrze	%v15,4000(%r6,%r9)
	vlebrh	%v15,4000(%r6,%r9),13
	vlebrf	%v15,4000(%r6,%r9),13
	vlebrg	%v15,4000(%r6,%r9),13
	vlbrrep	%v15,4000(%r6,%r9),13
	vlbrreph	%v15,4000(%r6,%r9)
	vlbrrepf	%v15,4000(%r6,%r9)
	vlbrrepg	%v15,4000(%r6,%r9)
	vstbr	%v15,4000(%r6,%r9),13
	vstbrh	%v15,4000(%r6,%r9)
	vstbrf	%v15,4000(%r6,%r9)
	vstbrg	%v15,4000(%r6,%r9)
	vstbrq	%v15,4000(%r6,%r9)
	vster	%v15,4000(%r6,%r9),13
	vsterh	%v15,4000(%r6,%r9)
	vsterf	%v15,4000(%r6,%r9)
	vsterg	%v15,4000(%r6,%r9)
	vstebrh	%v15,4000(%r6,%r9),13
	vstebrf	%v15,4000(%r6,%r9),13
	sterv	%v15,4000(%r6,%r9)
	vstebrg	%v15,4000(%r6,%r9),13
	stdrv	%v15,4000(%r6,%r9)
	vsld	%v15,%v17,%v20,253
	vsrd	%v15,%v17,%v20,253
	vstrs	%v15,%v17,%v20,%v24,13
	vstrs	%v15,%v17,%v20,%v24,13,12
	vstrsb	%v15,%v17,%v20,%v24
	vstrsb	%v15,%v17,%v20,%v24,13
	vstrsh	%v15,%v17,%v20,%v24
	vstrsh	%v15,%v17,%v20,%v24,13
	vstrsf	%v15,%v17,%v20,%v24
	vstrsf	%v15,%v17,%v20,%v24,13
	vstrszb	%v15,%v17,%v20,%v24
	vstrszh	%v15,%v17,%v20,%v24
	vstrszf	%v15,%v17,%v20,%v24
	vcfps	%v15,%v17,13,12,11
	vcefb	%v15,%v17,13,12
	wcefb	%v15,%v17,13,12
	vcfpl	%v15,%v17,13,12,11
	vcelfb	%v15,%v17,13,12
	wcelfb	%v15,%v17,13,12
	vcsfp	%v15,%v17,13,12,11
	vcfeb	%v15,%v17,13,12
	wcfeb	%v15,%v17,13,12
	vclfp	%v15,%v17,13,12,11
	vclfeb	%v15,%v17,13,12
	wclfeb	%v15,%v17,13,12
	dfltcc	%r6,%r9,%r11
	sortl	%r6,%r9
	vcvb	%r6,%v15,13
	vcvb	%r6,%v15,13,12
	vcvbg	%r6,%v15,13
	vcvbg	%r6,%v15,13,12
	kdsa	%r6,%r9
